#ajaxinfo {
  font-size: 0.8em
}
